(set-logic QF_AUFNIA)
(declare-fun _substvar_36_ () (Array Bool Bool))
(set-option :opt.priority box)
(set-option :smt.arith.solver 3)
(declare-const i0 Int)
(declare-const i3 Int)
(declare-const i5 Int)
(declare-const i9 Int)
(declare-const i10 Int)
(declare-const arr-3440962998002122721_3440962998002122721-0 (Array Bool Bool))
(declare-const i11 Int)
(assert (= true (> i5 92) true true (distinct _substvar_36_ arr-3440962998002122721_3440962998002122721-0) true true))
(minimize (+ i0 i5 i9))
(minimize (+ i0 i5 i11))
(maximize (- i0 i5 0))
(minimize (+ i3 i5 i11))
(maximize (- i3 i10 i11))
(maximize (- i3 i10 0))
(maximize (- i3 i11 0))
(minimize (+ i5 i9 i11))
(minimize (+ i5 i10 0))
(check-sat)